PDF Document

Source URL: ect.bell-labs.com

• Theoretical computer science
• Mathematics
• Software engineering
• Logic in computer science
• Models of computation
• Programming language semantics
• Lambda calculus
• Operational semantics
• Substitution
• Expression
• Variable
• Monad

PDF Document

Source URL: sallyhaslanger.weebly.com

• Philosophy
• Academia
• Semantics
• Philosophy of science
• Epistemology
• Logic
• Natural kind
• Ontology
• Sally Haslanger
• Meaning
• Causality
• Gender

PDF Document

Source URL: fritzo.org

• Logic in computer science
• Lambda calculus
• Theoretical computer science
• Computability theory
• Combinatory logic
• A New Kind of Science
• Programming language
• Computer programming

Satzung zur Änderung der Satzung über das Eignungsverfahren für den Masterstudiengang Logic and Philosophy of Science an der Ludwig-Maximilians-Universität München

Source URL: www.uni-muenchen.de

University of California at Berkeley College of Engineering Department of Electrical Engineering and Computer Science EECS150, Spring 2012 Homework Assignment 1: Digital Design Basics, Combinational Logic Review and FPGA

Source URL: www-inst.eecs.berkeley.edu

A New Continuous Propositional Logic Riccardo Poli, Mark Ryan and Aaron Sloman School of Computer Science The University of Birmingham Birmingham B15 2TT United Kingdom

Source URL: www.cs.bham.ac.uk.

Implementing Temporal Logics: Tools for Execution and Proof [E XTENDED A BSTRACT ] Michael Fisher Logic and Computation Group, Department of Computer Science University of Liverpool, Liverpool L69 7ZF

Source URL: www.cliplab.org

Decreasing energy functions for some cellular automata E. Goles * Department of Mathematics Engineering School University of Chile

Source URL: www.dtc.umn.edu

• Combinatory logic
• Lambda calculus
• Logic in computer science
• Stochastic processes
• Estimation theory
• Heat equation
• Itō diffusion
• Statistics
• Mathematics
• Mathematical analysis

The Value of Vagueness: Delegation, Defiance, and Judicial Opinions Jeffrey K. Staton Emory University Georg Vanberg University of North Carolina An established line of research demonstrates that vague judicial opinions

Source URL: polisci.emory.edu

• Logic
• Science
• Analytic philosophy
• James Madison
• United States Constitution
• Vagueness

A Lambda Calculus for Real Analysis Paul Taylor1 Andrej Bauer2 1 Department

Source URL: www.paultaylor.eu

• Theoretical computer science
• Theory of computation
• Functions and mappings
• Function
• Computable function
• Algorithm characterizations
• Primitive recursive function
• Mathematics
• Computability theory
• Mathematical logic